b0d07b3aec81c0a6b8a12d287dff36a155a424de,findbugs/src/java/edu/umd/cs/findbugs/ba/npe/NullDerefAndRedundantComparisonFinder.java,NullDerefAndRedundantComparisonFinder,checkForUnconditionallyDereferencedNullValues,#Map#ValueNumberFrame#IsNullValueFrame#UnconditionalValueDerefSet#,315
Before Change
// Is this value unconditionally dereferenced?
ValueNumber valueNumber = vnaFrame.getValue(j);
if (derefSet.isUnconditionallyDereferenced(valueNumber)) {
if (DEBUG_DEREFS) {
System.out.println("vna *** " + vnaFrame);
System.out.println("inv *** " + invFrame);
System.out.println("deref * " + derefSet);
System.out.println("%%% HIT for value number " + valueNumber);
}
// OK, we have a null value that is unconditionally
After Change
// Is this value unconditionally dereferenced?
ValueNumber valueNumber = vnaFrame.getValue(j);
if (derefSet.isUnconditionallyDereferenced(valueNumber)) {
noteUnconditionallyDereferencedNullValue(
nullValueGuaranteedDerefMap,
derefSet,